Macroevolutionary Patterns In The Evolutionary Radiation Of Archosaurs (Tetrapoda: Diapsida)

The rise of archosaurs during the Triassic and Early Jurassic has been treated as a classic example of an evolutionary radiation in the fossil record. This paper reviews published studies and provides new data on archosaur lineage origination, diversity and lineage evolution, morphological disparity, rates of morphological character change, and faunal abundance during the Triassic–Early Jurassic. The fundamental archosaur lineages originated early in the Triassic, in concert with the highest rates of character change. Disparity and diversity peaked later, during the Norian, but the most significant increase in disparity occurred before maximum diversity. Archosaurs were rare components of Early–Middle Triassic faunas, but were more abundant in the Late Triassic and pre-eminent globally by the Early Jurassic. The archosaur radiation was a drawn-out event and major components such as diversity and abundance were discordant from each other. Crurotarsans (crocodile-line archosaurs) were more disparate, diverse, and abundant than avemetatarsalians (bird-line archosaurs, including dinosaurs) during the Late Triassic, but these roles were reversed in the Early Jurassic. There is no strong evidence that dinosaurs outcompeted or gradually eclipsed crurotarsans during the Late Triassic. Instead, crurotarsan diversity decreased precipitously by the end-Triassic extinction, which helped usher in the age of dinosaurian dominance

Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before

Variability in H9N2 haemagglutinin receptor-binding preference and the pH of fusion

H9N2 avian influenza viruses are primarily a disease of poultry; however, they occasionally infect humans and are considered a potential pandemic threat. Little work has been performed to assess the intrinsic biochemical properties related to zoonotic potential of H9N2 viruses. The objective of this study, therefore, was to investigate H9N2 haemagglutinins (HAs) using two well-known correlates for human adaption: receptor-binding avidity and pH of fusion. Receptor binding was characterized using bio-layer interferometry to measure virus binding to human and avian-like receptor analogues and the pH of fusion was assayed by syncytium formation in virus-infected cells at different pHs. We characterized contemporary H9N2 viruses of the zoonotic G1 lineage, as well as representative viruses of the zoonotic BJ94 lineage. We found that most contemporary H9N2 viruses show a preference for sulphated avian-like receptor analogues. However, the ‘Eastern’ G1 H9N2 viruses displayed a consistent preference in binding to a human-like receptor analogue. We demonstrate that the presence of leucine at position 226 of the HA receptor-binding site correlated poorly with the ability to bind a human-like sialic acid receptor. H9N2 HAs also display variability in their pH of fusion, ranging between pH 5.4 and 5.85 which is similar to that of the first wave of human H1N1pdm09 viruses but lower than the pH of fusion seen in zoonotic H5N1 and H7N9 viruses. Our results suggest possible molecular mechanisms that may underlie the relatively high prevalence of human zoonotic infection by particular H9N2 virus lineages

Supplementation with DHA and the psychological functioning of young adults

The grey matter of the brain contains high levels of the essential nutrient DHA. Although the role of DHA in the developing brain and in dementia has attracted attention, its influence on the brain of the healthy adult has been little considered. A total of 285 young adult females took 400mg of DHA, in a double-blind, placebo-controlled trial, for 50d. After 50d, recently acquired information was more likely to be forgotten by those who had consumed DHA. No significant differences in mood, reaction times, vigilance or visual acuity were foun

Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

Fossilized skin reveals coevolution with feathers and metabolism in feathered dinosaurs and early birds

Feathers are remarkable evolutionary innovations that are associated with complex adaptations of the skin in modern birds. Fossilised feathers in non-avian dinosaurs and basal birds provide insights into feather evolution, but how associated integumentary adaptations evolved is unclear. Here we report the discovery of fossil skin, preserved with remarkable nanoscale fidelity, in three non-avian maniraptoran dinosaurs and a basal bird from the Cretaceous Jehol biota (China). The skin comprises patches of desquamating epidermal corneocytes that preserve a cytoskeletal array of helically coiled α-keratin tonofibrils. This structure confirms that basal birds and non-avian dinosaurs shed small epidermal flakes as in modern mammals and birds, but structural differences imply that these Cretaceous taxa had lower body heat production than modern birds. Feathered epidermis acquired many, but not all, anatomically modern attributes close to the base of the Maniraptora by the Middle Jurassic

The Low Redshift survey at Calar Alto (LoRCA)

The Baryon Acoustic Oscillation (BAO) feature in the power spectrum of galaxies provides a standard ruler to measure the accelerated expansion of the Universe. To extract all available information about dark energy, it is necessary to measure a standard ruler in the local, z<0.2, universe where dark energy dominates most the energy density of the Universe. Though the volume available in the local universe is limited, it is just big enough to measure accurately the long 100 Mpc/h wave-mode of the BAO. Using cosmological N-body simulations and approximate methods based on Lagrangian perturbation theory, we construct a suite of a thousand light-cones to evaluate the precision at which one can measure the BAO standard ruler in the local universe. We find that using the most massive galaxies on the full sky (34,000 sq. deg.), i.e. a K(2MASS)<14 magnitude-limited sample, one can measure the BAO scale up to a precision of 4\% and 1.2\% using reconstruction). We also find that such a survey would help to detect the dynamics of dark energy.Therefore, we propose a 3-year long observational project, named the Low Redshift survey at Calar Alto (LoRCA), to observe spectroscopically about 200,000 galaxies in the northern sky to contribute to the construction of aforementioned galaxy sample. The suite of light-cones is made available to the public.Comment: 15 pages. Accepted in MNRAS. Please visit our website: http://lorca-survey.ft.uam.es

Layer by layer - Combining Monads

We develop a method to incrementally construct programming languages. Our approach is categorical: each layer of the language is described as a monad. Our method either (i) concretely builds a distributive law between two monads, i.e. layers of the language, which then provides a monad structure to the composition of layers, or (ii) identifies precisely the algebraic obstacles to the existence of a distributive law and gives a best approximant language. The running example will involve three layers: a basic imperative language enriched first by adding non-determinism and then probabilistic choice. The first extension works seamlessly, but the second encounters an obstacle, which results in a best approximant language structurally very similar to the probabilistic network specification language ProbNetKAT

Developing a Pedagogical Framework for Designing a Multisensory Serious Gaming Environment

The importance of multisensory interaction for learning has increased with improved understanding of children’s sensory development, and a flourishing interest in embodied cognition. The potential to foster new forms of multisensory interaction through various sensor, mobile and haptic technologies is promising in providing new ways for young children to engage with key mathematical concepts. However, designing effective learning environments for real world classrooms is challenging, and requires a pedagogically, rather than technologically, driven approach to design. This paper describes initial work underpinning the development of a pedagogical framework, intended to inform the design of a multisensory serious gaming environment. It identifies the theoretical basis of the framework, illustrates how this informs teaching strategies, and outlines key technology research driven perspectives and considerations important for informing design. An initial table mapping mathematical concepts to design, a framework of considerations for design, and a process model of how the framework will continue to be developed across the design process are provided